Primary decomposition of zero-dimensional ideals: Putting Monico’s algorithm into practice
نویسندگان
چکیده
Monico published in [Journal of Symbolic Computation, 34(5):451–459, 2002] an algorithm to compute the primary decomposition of a zero-dimensional ideal, that mostly relies on a characteristic polynomial computation modulo the input ideal, and its factorization. We revisit this algorithm, and discuss Maple and Magma implementations that contradict the somehow pessimistic conclusions of Monico’s original article: this algorithm provides competitive, sometimes faster alternatives to built-in functions in both systems. We also give an estimation of the probability of success of the algorithm.
منابع مشابه
A Survey of Primary Decomposition using GrSbner Bases
A Survey of Primary Decomposition using GrSbner Bases MICHELLE WILSON Submitted to the Department of Mathematics in partial fulfillment of the requirements for the degree of Master of Science We present a survey of primary decomposition of ideals in a noetherian commutative polynomial ring R[x] = R[xi,..., x,]. With the use of ideal operations introduced and the lexicographical Gr6bner bases of...
متن کاملPrimary decomposition of zero-dimensional ideals over finite fields
A new algorithm is presented for computing primary decomposition of zero-dimensional ideals over finite fields. Like Berlekamp’s algorithm for univariate polynomials, the new method is based on the invariant subspace of the Frobenius map acting on the quotient algebra. The dimension of the invariant subspace equals the number of primary components, and a basis of the invariant subspace yields a...
متن کاملAlgorithms for Zero-Dimensional Ideals Using Linear Recurrent Sequences
Inspired by Faugère and Mou’s sparse FGLM algorithm, we show how using linear recurrent multi-dimensional sequences can allow one to perform operations such as the primary decomposition of an ideal, by computing the annihilator of one or several such sequences.
متن کاملAlgebraic Local Cohomology with Parameters and Parametric Standard Bases for Zero-Dimensional Ideals
A computation method of algebraic local cohomology with parameters, associated with zerodimensional ideal with parameter, is introduced. This computation method gives us in particular a decomposition of the parameter space depending on the structure of algebraic local cohomology classes. This decomposition informs us several properties of input ideals and the output of our algorithm completely ...
متن کاملGröbner Bases and Primary Decomposition of Polynomial Ideals
We present an algorithm to compute the primary decomposition of any ideal in a polynomial ring over a factorially closed algorithmic principal ideal domain R. This means that the ring R is a constructive PID and that we are given an algorithm to factor polynomials over fields which are finitely generated over R or residue fields of R. We show how basic ideal theoretic operations can be performe...
متن کامل